" Mundici D." скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra

Категория: Компьютеры

4.38 Mb

#2

Logica. Metodo breve

Daniele Mundici

1005 Kb

#3

Advanced Łukasiewicz calculus and MV-algebras

Daniele Mundici

2.09 Mb

#4

Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 Proceedings, Vol. 128

Georg Gottlob, Alexander Leitsch, Daniele Mundici

24.09 Mb

#5

A Cantor-Bernstein Theorem for Complete MV-Algebras

De Simone A., Mundici D.

124 Kb

#6

Computational Logic and Proof Theory 3 conf., KGC'93, Brno, Czech Republic, August 24-27, 1993

Georg Gottlob, Alexander Leitsch, Daniele Mundici

Категория: Cs_Computer science, CsLn_Lecture notes

2.95 Mb

#7

Computational Logic and Proof Theory 5 conf., KGC'97, Vienna, Austria, August 25-29, 1997

Georg Gottlob, Alexander Leitsch, Daniele Mundici

Категория: Cs_Computer science, CsLn_Lecture notes

3.05 Mb

#8

Theorem Proving with Analytic Tableaux and Related Methods 5 conf., TABLEAUX '96

Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi

Категория: Cs_Computer science, CsLn_Lecture notes

3.08 Mb